
(compose(mu, bimap(mu, id)))(((x, y), z));
